Big Data: A Report on Algorithmic Systems, Opportunity, and Civil Rights Executive Office of the President May 2016

Source URL: www.whitehouse.gov

• Social inequality
• Data management
• Big data
• Formal sciences
• Transaction processing
• Analytics
• Machine learning
• Bias
• Discrimination
• Equal opportunity
• Computer security
• Data analysis

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

Data Sheet Actian Analytics Platform-Vector Accelerate Business Intelligence Key Benefits

Source URL: wwwcdn2.actian.com

• Computing
• Information technology
• Data
• Data management
• Business intelligence
• Relational database management systems
• Formal sciences
• Big data
• Actian
• Analytics
• Oracle Database
• Online analytical processing

BIOINFORMATICS Editorial ISMB 2001 This volume comprises the formal proceedings for the Ninth International Conference on Intelligent Systems

Source URL: people.binf.ku.dk

In Intl. J. of Robotics Research 23(9):, September2004 A formal analysis and taxonomy of task allocation in multi-robot systems Brian P. Gerkey Artificial Intelligence Lab

Source URL: robotics.stanford.edu

• Mathematics
• NP-complete problems
• Combinatorics
• Discrete mathematics
• Operations research
• Theoretical computer science
• Combinatorial optimization
• Greedy algorithm
• Matroid theory
• Robotics
• Robot
• Assignment problem

Argumentation Logic as a Formal Foundation for Collective Intelligence Systems: a Roadmap Anna Zamansky, University of Haifa Ofer Arazy, University of Alberta and University of Haifa Collective intelligence is shared (or

Source URL: oferarazy.com

politics, philosophy & economics article © SAGE Publications Ltd London

Source URL: www.repugnant-conclusion.com

• Philosophy
• Ethics
• Utilitarianism
• Logic
• Classical liberalism
• Formal systems
• Social choice theory
• Paradoxes
• Average and total utilitarianism
• Utility
• Preference
• Axiom

Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

Source URL: homepage.lnu.se

• Finite automata
• Timed automaton
• Finite-state machine
• Clock
• Cellular automata
• Models of computation

SimCA vs ActivFORMS: Comparing Control- and Architecture-Based Adaptation on the TAS Exemplar Stepan Shevtsov M. Usman Iftikhar

Source URL: homepage.lnu.se

• Systems theory
• Control theory
• Systems science
• Engineering
• Control engineering
• Fiat
• Simca
• Cybernetics
• Formal sciences
• Control system
• Reliability engineering
• Kalman filter